A Separation - PDFSEARCH.IO - Document Search Engine

A Separation
Results: 1870

#	Item
121	A Fresh Look at Separation Algebras and Share Accounting? Robert Dockins1 , Aquinas Hobor2 , and Andrew W. Appel1 1 2 Add to Reading List Source URL: rwd.rdockins.name Language: English - Date: 2015-10-04 14:40:34
122	MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Depth-weighted group-wise principal component analysis for foreground/background separation Tian, D.; Mansour, H.; Vetro, A. Add to Reading List Source URL: www.merl.com Language: English - Date: 2015-09-29 08:52:22
123	San Mateo County Measure A Grade Separation Program The San Mateo County Measure A grade separation program provides funding for the construction or upgrade of vehicular overpasses and underpasses along the Add to Reading List Source URL: www.smcta.com Language: English - Date: 2015-03-11 19:08:17
124	Detecting Separation in Robotic and Sensor Networks Chenda Liaoa , Harshavardhan Chenjib , Prabir Barooaha, Radu Stolerub , Tam´as Kalm´ar-Nagyc a Dept. arXiv:1102.3396v1 [cs.RO] 16 Feb 2011 Add to Reading List Source URL: faculty.cs.tamu.edu Language: English - Date: 2012-01-29 02:19:57
125	Total Internal Reflection Microscopy TIRM is a optical technique for monitoring the instantaneous separation distance between a microscopic sphere and a flat plate. Changes in distance as small as 1 nm can be detected. T Add to Reading List Source URL: www.softmat.mat.ethz.ch Language: English - Date: 2016-03-06 11:11:19
126	http://www.cs.ucsb.edu/~sherwood/RCsec/ A 3-Pronged Approach to Adaptive Security and Separation in Reconfigurable Hardware Blurring the line between software and hardware, reconfigurable devices strive to strike a bala Add to Reading List Source URL: www.cisr.us Language: English - Date: 2007-11-15 12:21:20
127	VisualizeSLE: A Visual Editor for Separation Logic Entailments Aquinas Hobor, Soe Lin Myat, and Bimlesh Wadhwa National University of Singapore Proposal. Separation logic has seen widespread use in program verification, Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2012-10-05 06:23:45
128	VisualizeSLE A Visual Editor for Separation Logic Entailments Aquinas Hobor, Soe Lin Myat, and Bimlesh Wadhwa School of Computing National University of Singapore Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2012-11-19 06:03:34
129	Grade Separation Funding Strategy: A Blueprint for Advancing Projects Add to Reading List Source URL: rctc.org Language: English - Date: 2012-07-18 20:08:41
130	Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-12-23 10:16:22 Software engineering Programming language theory Theoretical computer science C++ Logic in computer science Proof assistants Data types SHA-2 Formal verification Separation logic Coq Functional programming

UPDATE